1. Anglo-Russkii Russko-Angliyskiy slovar: 33000 slov + grammaticheskii spravochnic = English-Russian Russian-English dictionary: 33000 words
پدیدآورنده : Artemov, A.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Dictionaries - Russian ، English language,Dictionaries - English ، Russian language
رده :
PG
2640
.
A78
2005
2. Drug discovery handbook
پدیدآورنده : edited by Shayne Cox Gad
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Handbooks, manuals, etc ، Drugs - Research,Handbooks, manuals, etc ، Drug development,Handbooks, manuals, etc ، Drugs - Design,Handbooks, manuals, etc ، Pharmaceutical chemistry
رده :
RM
301
.
25
.
D784
2005
3. Drug discovery handbook
پدیدآورنده : / edited by Shayne Cox Gad
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Drugs- Research Handbooks, manuals, etc,Drug development Handbooks, manuals, etc,Drugs- Design Handbooks, manuals, etc,Pharmaceutical chemistry Handbooks, manuals, etc
رده :
RM301
.
25
.
D784
2005
4. Drug discovery handbook
پدیدآورنده : / edited by Shayne Cox Gad
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Drugs- Research Handbooks, manuals, etc,Drug development Handbooks, manuals, etc,Drugs- Design Handbooks, manuals, etc,Pharmaceutical chemistry Handbooks, manuals, etc
رده :
RM301
.
25
.
D784
2005
5. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
6. Logical Foundations of Computer Science
پدیدآورنده : \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
7. Logical Foundations of Computer Science
پدیدآورنده : / Sergei Artemov, Anil Nerode
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. Mosquito genomics. Highly evolvable malaria vectors:
پدیدآورنده : Neafsey, Daniel E; Waterhouse, Robert M; Abai, Mohammad R; Aganezov, Sergey S; Alekseyev, Max A; Allen, James E; Amon, James; Arcà, Bruno; Arensburger, Peter; Artemov, Gleb; Assour, Lauren A; Basseri, Hamidreza; Berlin, Aaron; Birren, Bruce W; Blandin, Stephanie A; Brockman, Andrew I; et al.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
9. Quantitative MRI in cancer
پدیدآورنده : edited by Thomas E. Yankeelov, David R. Pickens, Ronald R. Price.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cancer -- Imagerie par résonance magnétique.
رده :
RC270
.
3
.
M33
E358
2012
10. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
11. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
12. Six papers in logic
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
3
.
A572
ser
.
2
vol
.
135
